Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
511	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-14 05:21:07 Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic Philosophical logic Philosophy of language
512	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
513	Against Vague and Unnatural Existence: Reply to Liebesman and Eklund∗ Theodore Sider Noûs[removed]): 557–67 David Liebesman and Matti Eklund[removed]argue that my “indeterminacy Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-06-11 13:12:48 Semantics Logical syntax Philosophy of language Ontology Metalogic Proposition Quantification Existence Model theory Logic Science Philosophy
514	Outscoping and Discourse Threat∗ Theodore Sider Forthcoming in Inquiry Agustín Rayo’s exciting and bold new book can be viewed as continuing Add to Reading List Source URL: tedsider.org Language: English - Date: 2014-05-30 14:32:37 Logical syntax Philosophy of language Theories of truth Truth If and only if Interpretation Philosophy of mathematics Modal logic Function Logic Philosophy Philosophical logic
515	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
516	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
517	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic
518	21 While all contemporary theories of states of affairs can look back to Meinong’s theory as a stepping-off point, it is Wittgenstein’s theory laid out in the Tractatus Logico Philosophicus (hereafter Tractatus) (192 Add to Reading List Source URL: www.colorado.edu Language: English - Date: 2006-03-29 20:48:07 Philosophical logic Reality Ontology Philosophy of language Logical syntax Tractatus Logico-Philosophicus Ludwig Wittgenstein Atomic sentence Logical atomism Logic Philosophy Science
519	To appear in Proceedings of the 31st West Coast Conference on Formal Linguistics (WCCFL 31), Cascadilla Press. Interpreting Japanese Head-Internal Relative Clauses Michael Yoshitaka Erlewine and Isaac Gould Massachusetts Add to Reading List Source URL: mitcho.com Language: English - Date: 2013-05-03 23:05:19 Semantics Formal languages Logical syntax Grammar Interpretation Proposition Definite description Function Well-formed formula Logic Linguistics Philosophy of language
520	Alternative questions through focus alternatives in Mandarin Chinese Michael Yoshitaka Erlewine Massachusetts Institute of Technology 1 Introduction In this paper I discuss the syntax/semantics of alternative questions i Add to Reading List Source URL: mitcho.com Language: English - Date: 2012-09-05 20:16:32 Boolean algebra Mathematics Propositional calculus Logical connectives Human communication Yes–no question Logical disjunction Question A-not-A question Grammar Abstract algebra Linguistics

UPDATE